Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·12h
🧮Kolmogorov Complexity
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·16h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Rethinking Distributed Computing for the AI Era
cacm.acm.org·21h
⚡Incremental Computation
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·4h
🖥️Terminal Renaissance
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·5h·
Discuss: Hacker News
✨Effect Handlers
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·5h
🦀Rust Macros
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·2h
🔌Interface Evolution
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·1h·
Discuss: Hacker News
🔲Cellular Automata
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·12h
💻Programming languages
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·30m·
Discuss: Hacker News
🔒WASM Capabilities
A Wide Reduction Trick (2022)
words.filippo.io·13h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic